Takeuti, Gaisi : rechercher sur Z-Library

Gaisi Takeuti, Satoko Titani

Journal:

Annals of Mathematics

Année:

1967

Langue:

english

Fichier:

PDF, 3.18 MB

english, 1967

Globalization of intui tionistic set theory

Journal:

Année:

1987

Langue:

english

Fichier:

PDF, 1.30 MB

english, 1987

A Formalization of the Theory of Ordinal Numbers

Journal:

Année:

1965

Langue:

english

Fichier:

PDF, 1.77 MB

english, 1965

A Transfer Principle in Harmonic Analysis

Journal:

Année:

1979

Langue:

english

Fichier:

PDF, 542 KB

english, 1979

Two Applications of Logic to Mathematics () || Chapter 1. Boolean Valued Analysis Using Projection Algebras

Japanese Journal of Mathematics

Année:

2015

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2015

C*-algebras and Boolean valued analysis

TAKEUTI, Gaisi

Journal:

Année:

1983

Langue:

english

Fichier:

PDF, 3.88 MB

english, 1983

Fuzzy logic and fuzzy set theory

Gaisi Takeuti, Satoko Titani

Journal:

Archive for Mathematical Logic

Année:

1992

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1992

The ordinals of the systems of second order arithmetic with the provably Δ21-comprehension axiom and with the Δ21-comprehension axiom respectively

TAKEUTI, Gaisi, YASUGI, Mariko

Journal:

Japanese Journal of Mathematics

Année:

1973

Langue:

english

Fichier:

PDF, 7.99 MB

english, 1973

Global intuitionistic analysis

Gaisi Takeuti, Satoko Titani

Journal:

Année:

1986

Langue:

english

Fichier:

PDF, 1.75 MB

english, 1986

Bounded arithmetic and truth definition

Journal:

Jan Krajíček, Pavel Pudlák, Gaisi Takeuti

Année:

1988

Langue:

english

Fichier:

PDF, 1.68 MB

english, 1988

Bounded arithmetic and the polynomial hierarchy

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 706 KB

english, 1991

Separations of theories in weak bounded arithmetic

Journal:

Année:

1995

Langue:

english

Fichier:

PDF, 1.20 MB

english, 1995

Proof theory and set theory

Journal:

Synthese

Année:

1985

Langue:

english

Fichier:

PDF, 452 KB

english, 1985

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Heyting valued universes of intuitionistic set theory

Année:

1981

Langue:

english

Fichier:

PDF, 2.32 MB

english, 1981

Gödel Sentences of Bounded Arithmetic

Journal:

Prawitz, Dag, Takeuti, Gaisi, Kreisel, Georg, Pohlers, Wolfram, Simpson, Stephen G., Feferman, Solomon

Année:

2000

Langue:

english

Fichier:

PDF, 192 KB

english, 2000

Proof Theory.; Proof Theory: Some Personal Recollections.; Contributions of the Schutte School in Munich to Proof Theory.; Subsystems of Z 2 and Reverse Mathematics.; Proof Theory: A Personal Report.;

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 421 KB

english, 1991

The Present State of the Problem of the Foundations of the Mathematics || Proof Theory and Set Theory

Journal:

Synthese

Année:

1985

Langue:

english

Fichier:

PDF, 912 KB

english, 1985

Two Applications of Logic to Mathematics () || Chapter 2. Boolean Valued Analysis Using Measure Algebras

Annals of the Japan Association for Philosophy of Science

Année:

2015

Langue:

english

Fichier:

PDF, 557 KB

english, 2015

On the Formal Theory of the Ordinal Diagrams

TAKEUTI, GAISI

Journal:

Année:

1958

Langue:

english

Fichier:

PDF, 742 KB

english, 1958

A Relativization of Axioms of Strong Infinity to ^|^omega;1

TAKEUTI, Gaisi

Journal:

Annals of the Japan Association for Philosophy of Science

Année:

1970

Langue:

english

Fichier:

PDF, 550 KB

english, 1970

Dirac space

Proceedings of the Japan Academy

Journal:

Année:

1962

Langue:

english

Fichier:

PDF, 367 KB

english, 1962

On induction-free provability

Jan Krajíček, Gaisi Takeuti

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

1992

Langue:

english

Fichier:

PDF, 797 KB

english, 1992

S3iandV2i(BD)

Archive for Mathematical Logic

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 908 KB

english, 1990

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || On the length of proofs in a formal system of recursive arithmetic

Année:

1981

Langue:

english

Fichier:

PDF, 830 KB

english, 1981

Meetings of the Association for Symbolic Logic

Journal:

Année:

1971

Langue:

english

Fichier:

PDF, 2.89 MB

english, 1971

Foundations of Mathematicsby Setsuya Seki

Journal:

Année:

1959

Langue:

english

Fichier:

PDF, 196 KB

english, 1959

Introduction to set Theoryby Setsuya Seki

Journal:

Année:

1959

Langue:

english

Fichier:

PDF, 196 KB

english, 1959

Syntactical and Semantical Properties of Simple Type Theoryby Kurt Schütte

Journal:

Année:

1967

Langue:

english

Fichier:

PDF, 348 KB

english, 1967

Transcendence of Cardinals

Journal:

Carl G. Jockusch, Jr., Robert I. Soare, William Tait and Gaisi Takeuti

Année:

1965

Langue:

english

Fichier:

PDF, 493 KB

english, 1965

Meeting of the Association for Symbolic Logic: Chicago, 1977

Journal:

Année:

1978

Langue:

english

Fichier:

PDF, 181 KB

english, 1978

Report of a Symposiumby Setsuya Seki

Journal:

Gaisi Takeuti and Masahiro Yasumoto

Année:

1960

Langue:

english

Fichier:

PDF, 120 KB

english, 1960

Forcing on Bounded Arithmetic II

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 637 KB

english, 1998

The critical number of a variable in a function

Journal:

Année:

1994

Langue:

english

Fichier:

PDF, 853 KB

english, 1994

A Second Order Version of S i 2 and U 1 2

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 1.18 MB

english, 1991

Frege proof system and TNC°

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 1.58 MB

english, 1998

Boolean simple groups and boolean simple rings

Journal:

Année:

1988

Langue:

english

Fichier:

PDF, 961 KB

english, 1988

Grzegorcyk's hierarchy and IepΣ1

Journal:

Année:

1994

Langue:

english

Fichier:

PDF, 603 KB

english, 1994

Boolean Simple Groups and Boolean Simple Rings

Journal:

Shoji Maehara and Gaisi Takeuti

Année:

1988

Langue:

english

Fichier:

PDF, 345 KB

english, 1988

Two Interpolation Theorems for a Π11Predicate Calculus

Journal:

Année:

1971

Langue:

english

Fichier:

PDF, 740 KB

english, 1971

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata

Année:

1981

Langue:

english

Fichier:

PDF, 614 KB

english, 1981

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Intuitionistic theories and toposes

Année:

1981

Langue:

english

Fichier:

PDF, 934 KB

english, 1981

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Boolean valued combinatorics

Année:

1981

Langue:

english

Fichier:

PDF, 1005 KB

english, 1981

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Independence of a problem in elementary analysis from set theory

Année:

1981

Langue:

english

Fichier:

PDF, 412 KB

english, 1981

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Sections and envelopes of type 2 objects

Année:

1981

Langue:

english

Fichier:

PDF, 372 KB

english, 1981

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class

Année:

1981

Langue:

english

Fichier:

PDF, 376 KB

english, 1981

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || The Hahn-Banach theorem and a restricted inductive definition

Année:

1981

Langue:

english

Fichier:

PDF, 899 KB

english, 1981

[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Homogeneous formulas and definability theorems

Année:

1981

Langue:

english

Fichier:

PDF, 251 KB

english, 1981

Seki Setsuya. Syûgôron nyûmon (Introduction to set theory). Baifukan, Kanda-Nisikityô, Tokyo 1957, 172 pp.

Journal: